-
1 AAR
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation -
2 Aar
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation -
3 aar
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation
См. также в других словарях:
Association for Automated Reasoning — The Association for Automated Reasoning (AAR) is a non profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and… … Wikipedia
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Conference on Automated Deduction — The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in… … Wikipedia
association — associational, adj. /euh soh see ay sheuhn, shee /, n. 1. an organization of people with a common purpose and having a formal structure. 2. the act of associating or state of being associated. 3. friendship; companionship: Their close association … Universalium
Razonamiento automático — Saltar a navegación, búsqueda El razonamiento automático es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los… … Wikipedia Español
Abductive reasoning — Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers their most… … Wikipedia
Raisonnement Automatisé — Le raisonnement automatisé est un domaine de l informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement… … Wikipédia en Français
Raisonnement automatise — Raisonnement automatisé Le raisonnement automatisé est un domaine de l informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner… … Wikipédia en Français
Raisonnement automatisé — Le raisonnement automatisé est un domaine de l informatique consacré à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement… … Wikipédia en Français
AAR — is a three letter acronym that may refer to: * AAR Corporation, an American aviation engineering company * IATA airport code for Aarhus Airport in Tirstrup, Denmark * Air to air refueling , also known as aerial refueling, the practice of… … Wikipedia
Premio Herbrand — Saltar a navegación, búsqueda Entregado desde 1992 el Premio Herbrand se otorga anualmente a un científico o a un grupo de investigación por sus contribuciones en el área de razonamiento automatizado. El premio lleva el nombre del matemático y… … Wikipedia Español